Skip to main content

Full text of "Ikehara-type theorem involving boundedness"

See other formats



Abstract. Let ^ a.n/n'^ be a Dirichlct series with nonnegative coef- 
ficients that converges to a sum function f[z) = f{x + iy) for a; > 1. 
Setting sn = '^n<N '^n, the paper gives a necessary and sufficient condi- 
OO , tion for boundedness oi sn/N. As a; \ 1, the quotient f{x + iy)/{x + iy) 

must converge to a pseudonieasure g(l + iy), the distributional Fourier 
transform of a bounded function. The paper also gives an optimal esti- 
mate for sn/N under the 'real condition' f{x) = 0(1/(1 — x)}. 


1. Introduction 
We recall the famous Tauberian theorem of Ikehara: 
Theorem 1.1. Suppose that the Dirichlet series 




(1.1) y^ — ^ with ttn > and z = x + iy 


converges throughout the half-plane {x > 1}, so that the sum function f{z) 
>• ' is analytic there. Suppose furthermore that there is a constant A such that 

^ ■ the difference 

O '■ (1-2) 9{z) = f{z) - -^ 

• ' z — i 

Q ■ has an analytic or continuous extension to the closed half-plane {x > 1}. 

OO , Then the partial sums Sn = '^n<N ^n satisfy the limit relation 

i;. ; (1.3) sn/N -* a as N -^oo. 

^ . The theorem is often called 'Wiener-Ikehara theorem' because Ikehara 

H I studied with Wiener, and apphed the new Tauberian method that Wiener 

was developing in the years 1926-1931; see [1], [TO], [TT] and cf. [5], [6]. 
Ikehara's theorem led to a greatly simplified proof of the prime number 

Date: July 3, 2008. 

2000 Mathematics Subject Classification. 40E05. 



In [7j the author obtained a two-way form of the theorem. Given f{z) of 
the form fll.ll) . the following condition is necessary and sufficient for (11.31) : 
The difference g{z) = g{x + iy) must have a distributional limit g{l + iy) for 
X \ 1 which is locally equal to a pseudof unction. That is, on every finite 
interval {—B,B), the distribution g{l + iy) must be equal to a pseudo- 
function which may depend on B. A pseudof unction is the distributional 
Fourier transform of a bounded function that tends to at infinity. It can 
also be characterized as a tempered distribution which is locally given by 
Fourier series with coefficients that tend to 0. A pseudof unction may have 
nonintegrable singularities, but not as strong as first-order poles. 

In connection with Ikehara's theorem one may ask (cf. Mhaskar [8]) what 
condition on f{z) would suffice for the conclusion that 

(1.4) sn/N = C(l) as A^ -^ oo. 

Unlike the situation in the case of power series Yl (^nZ^i it is not enough 
when /(■) satisfies the 'real condition' 

(1.5) /(x) = C{l/(x-l)} asx\l. 

Proposition 1.2. For Dirichlet series (li.ip with sum f{z), condition (I J . 51) 
implies the estimate 

(1.6) SN/N = 0{\ogN), 
and this order- estimate is best possible. 

See Section [21 In Section [3] we will prove 

Theorem 1.3. Let the series Yl^n/n^ with coefficients a„ > converge to 
f{z) = f{x + iy) for x > 1. Setting sn = 'Yn<N ^n as before, the sequence 
{sj\f/N} will remain bounded if and only if the quotient 

(1.7) q{x + ty) = ^^^^ (x>l) 

X + ty 

converges in the sense of tempered distributions to a pseudomeasure q{l+iy) 
as X \ 1. 

A pseudomeasure is the distributional Fourier transform of a bounded 
measurable function. It has local representations by Fourier series with 
uniformly bounded coefficients. A simple example is given by the delta dis- 
tribution or Dirac measure. The following pseudomeasure is the boundary 


distribution of an analytic function: 

1 1 /"CO 

'^'^ lim ^^ = lim / e-^*e-*^*rft. 

+0 + iy a;\o X + iy x\o Jq 

It is the Fourier transform of the Heaviside function l+(t), which equals 1 
for t > and for t < 0. Pseudomeasures can have no singularities worse 
than first-order poles; cf. f l3.2p below. 

2. Proof of Proposition 11.21 

The proof consists of two parts. 

(i) Let f{z) = 'Y^ a-n/n^ with a„ > as in (11.11) satisfy the real condition 
(11. 5p . Setting x = xn = '^ + 1/logA^, one finds that 

^-^ n ^-^ n 

n<N n<N 

A crude estimate now gives the result of (11.61) : 


sj^ = y n—< NaN = O(NlogN). 
^-^ n 


(ii) For the second part we use an example. 

Lemma 2.1. Let 

22*+fc forn = 2'^\ A; = 1, 2, • • • , 

""" ^ for all other n. 


■ = 0{l/{x 

- 1)} as 





N = 2^'' , one 

has Sn ^ cln = (1/ log 2) A^ log 




= 1 + 5 with 

<6 <1. Then 

/(^) = 


/ ^ 22*'5 ■ 

Observe that the graph of 

h{t) = 


^ (0 

< t < oo) 


is rising to a maximum at some point t = to (5) and then falling. Thus the 
sum for f{x) is majorized by the integral of h(t) over (0, oo) plus the value 
h(to). Both have the form const /S, hence ( 12.21) . 

Now take N of the form 2^*, so that log A^ = 2^ log 2. Then 

a^ = 22'+^= = N2'' = Ar(logAr)/log2. 


3. Proof of Theorem 11.31 

Note that the distributional convergence in the theorem is convergence 
in the Schwartz space S'. In other words, 

(3.1) <q{x + iy),(j){y)> ^ <q{l + iy),(j){y)> as x \ 1 

for all testing functions (f){y) G S, that is, all rapidly decreasing C°° func- 
tions; see Schwartz [9J or Hormander [3]. 

Proof of Theorem \1.3[ Let f{z) be the sum of the Dirichlet series in the 
theorem. Now define s{v) = J2n<v ^n, so that s(f) = for f < and 
stv = s{N) = 0{N^'^'^) for every e > 0. Integrating by parts, one obtains a 
representation for q{z) = f{z)/z as a Mellin transform: 

/CXD /»00 

v~''ds{v) = / s{v)v^''^'^dv {x > 1). 

The substitution t> = e* gives q{z) as a shifted Laplace transform of S(t) = 

/•OO /•OO 

q{z) = / s{e')e~''dt = / S{t)e-^'-^^'dt {x > 1). 
Jo Jo 

(i) Suppose that the sequence {sn/N} is bounded. Then S{t) is bounded, 
\S{t)\ < M, say. Hence 


(3.2) \q(z)\ < for x > 1. 

X — 1 

Thus the boundary singularities of q{z) on the line {x = 1} can be no worse 
than first-order poles. We will verify that in the sense of distributions, 

q{x + iy) -^ g(l + iy) = S{y), 

where S{y) denotes the distributional Fourier transform of S{t). Indeed, 
for fixed x > 1, the function q{x + iy) is the Fourier transform of Sx{t) = 
5(t)e-(^-i)*. Since \S{t)\ < M and S{t) = for t < 0, the functions 


Sx{t) converge to S(t) boundedly as x \ 1, hence in the sense of tempered 
distributions. Since distributional Fourier transformation is continuous on 
the Schwartz space S', it follows that q{x+iy) converges to the distributional 
Fourier transform of S{t) - in this case a pseudomeasure. 

(ii) Conversely, suppose that q{x + iy) = Sx{y) converges to a pseudo- 
measure as X \ 1, symbolically written as g(l + iy). Then g(l + iy) is the 
Fourier transform H{y) of a bounded function H{t). By the continuity of 
inverse Fourier transformation, this implies that H{t) is the distributional 
limit of Sx{t) = S{t)e~^^~^^^ as x \ 1. But the latter limit is equal to S{t): 


< Sx{t), Mt) >= S.,{t)Mt)dt -^ < S{t), 0o(t) > 

for all C°° functions 0o(i) of compact support. It follows that S(t) = H{t) 
on M, hence bounded. D 

4. Final remarks 

Let 'iT2{N) denote the number of prime twins {p, p + 2) with p < N. The 
famous twin-prime conjecture (TPC) of Hardy and Littlewood [2] asserts 

that for N ^ oo. 



r'^ dt 

(4.1) 7:,{N) r. 2C,UN) = 2Cj ^20, 

J2 log t log A^ 

Here C2 is the 'twin-prime constant', 

C2= n {l-7^3Tp} ^0-6601618. 

p prime, p>2 '^ 

For the discussion of the TPC it is convenient to introduce the modified 
counting function 

(4.2) ^2(iV) = J] A(n)A(n + 2), 


where A(fc) denotes von Mangoldt's function. Since A{k) = logp if fc = p" 
for some prime number p and A{k) = otherwise, the TPC turns out to be 
equivalent to the asymptotic relation 

(4.3) V'2(iV) ~ 2C2N as A^ ^ 00. 


It is natural then to introduce the Dirichlet series 

,..-.. ^ / N def v^ A(n)A(n + 2) , 

4.4 D2iz)''^y2^^ iz = x + ty,x>l). 


By a sieving argument, cf. Halberstam and Richert [T], one has tt2{N) = 
OiN/log^N), or equivalents, ip2{N) = 0{N). By Theorem O another 
equivalent statement is that the quotient D2{x + iy) / {x + iy) converges dis- 
tributionally to a pseudomeasure as x \ 1. And finally, by the two-way 
Ikehara- Wiener theorem referred to in Section [H the TPC is equivalent to 
the conjecture that the difference D2{z) — 2C2/{z — 1) has local pseudo- 
function boundary behavior as x \ 1. 



H. Halberstam, and H.-E. Richert, Sieve methods. Academic Press, London, 1974. 

G. H. Hardy and J. E. Littlewood, Some problems of 'partitio numerorum'. Ill: 

On the expression of a number as a sum of primes. Acta Math. 44 (1923), 1-70. 

Hormander, L., The Analysis of Linear Partial Differential Operators, vol. 1. 

Grundl. math. Wiss. vol. 256, Springer, Berlin, 1983. 

S. Ikehara, An extension of Landau's theorem in the analytic theory of numbers, J. 

Math, and Phys. 10 (1931), 1-12. 

J. Korevaar, A century of complex Tauberian theory, Bull. Amer. Math. Soc. (N.S.) 

39 (2002), 475-531. 

J. Korevaar, Tauberian Theory, a Century of Developments, Grundl. math. Wiss. 

vol. 329, Springer, Berlin, 2004. 

J. Korevaar, Distributional Wiener-Ikehara theorem and twin primes, Indag. Math. 

(N.S.) 16 (2005), 37-49. 

H. Mhaskar, A question about the Wiener-Ikehara theorem. In e-mail of April 14, 


Schwartz, L., Theorie des Distributions I, II. Hermann, Paris, 1966. (First edition 


N. Wiener, Tauberian theorems, Ann. of Math. 33 (1932), 1-100. 

N. Wiener, N. The Fourier Integral and Certain of its Applications, Cambridge 

Univ. Press, Cambridge, 1933. 

KdV Institute of Mathematics, University of Amsterdam, 
Plantage Muidergracht 24, 1018 TV Amsterdam, Netherlands 
E-mail address: J . KorevaarOuva . nl